Ever New Formal Structures: by Graham Hunt