Gravitational lensing beyond the eikonal approximation | Synapse