Refraction TIR Snells law