Minor.
Proof development of "What is a pure functional?" ICALP'10 paper by
Hofmann, Karbyshev and Seidl.