Those math proofs from a few weeks back seem plausible.