I have made a quick plt patch to fix this bug: http://www.cs.cornell.edu/eli/Swindle/inflater-patch.plt -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://www.cs.cornell.edu/eli/meaning.html Maze is Life!