Gravitational lensing of the distant SPT0418-47 galaxy (schematic)