In 1974 the physicist Richard Feynman discovered that by substituting Pi for one of the ingredients in the Mars bar recipe he could provide a unified theory of quantum gravity. Unfortunately Mars subsequently changed the recipe, and as a result the theory can no longer be proved.