Is this where I go “actually it took 83 pages to set up an extremely rigorous system and then a couple of lines to show you could use it to prove 1+1=2”?