The Trivial Program “yes”
trope-tank.mit.edu