Gravitational_lensing_formalism loading ...