Square limit by Escher
Initial version of Henderson-Escher example
Stubs for notes of lectures 5 and 6