B0126403, p. 1: Jozef Hooman; Computing Science Institute, University of Nijmegen