[Paul Erdos XKCD Joke[3].png]