Geometrical optics: Total internal reflection