Examples of total internal reflection