Jan Willem Klop is pensioned professor in theoretical computer science at VU University Amsterdam, with term rewriting systems, lambda calculus, combinatory logic and infinite streams as hobbies.