XKCD #1724 | Proofs