Resumió gran parte del trabajo de Euclides y describió una forma de medir los efectos de la ley de Snell, aunque no se dio cuenta de la relación empírica existente entre los ángulos.