XKCD #1033 | Formal Logic