Text this: The mathematical theory of Huygen's principle