[math-fun] Gravitational lensing?