Tupper's self-referential formula
 
x
OK