[23:38] <sadmac> Keybuk: http://en.wikipedia.org/wiki/File:Principia_Mathematica_theorem_54-43.png