https://kottke.org/05/01/the-friendship-of-kurt-godel-and-albert-einstein