Refining how waves bend around mass: a cleaner derivation of diffraction in gravitational lensing | arXiv News