If an angel were ever to tell us anything of his philosophy I believe many propositions would sound like 2 times 2 equals 13.