Question about how the direction of refraction was derived