Racket implementation of Tupper's self-referential formula