The man who has learned that three plus one are four doesn't...

The man who has learned that three plus one are four doesn't have to go through a proof of that assertion with coins, or dice, or chess pieces, or pencils. He knows it, and that's that. He cannot conceive a different sum. There are mathematicians who say that three plus one is a tautology for four, a different way of saying "four" ... If three plus one can be two, or fourteen, then reason is madness.