Enjoys programming in Prolog. Will solve math problems for food.
Rosser's trick: "For every proof of me, there is a shorter proof of my negation".