premise: When a gravitational lens bends the light coming from a distant galaxy, the light coming round the galaxy on one side reaches us later than light which left at the same time and went round the other side.