Refraction and lenses