JMQ: Both the explicit and tacit definitions were interesting. I'm most struck by the novelty of seeing definition in the form 'programbody' (1 :) . This small departure from the normal construction strikes me as easier to scan, both reading from the left and from the right.