Looking at the very end of question http://www.cl.cam.ac.uk/tripos/y1997p9q7.pdf is the answer that expression 'e' cannot have any side effects (which I believe is the answer to the penultimate part), or is there something subtler going on here? Cheers, Jamie