http://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html