https://kottke.org/07/01/tuppers-selfreferential-formula-is-an-equation-that