Henderson Escher example from SICP