1. Department of Mathematics and Computer Science, Eindhoven University of Technology, PO Box 513, 5600, MB Eindhoven, The Netherlands
2. Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands
3. Department of Philosophy, Utrecht University, Utrecht, The Netherlands