Snell-Descartes Laws