Talk:Gravitational lensing formalism