... mathematical knowledge ... is, in fact, merely verbal knowledge. 3 means 2+1, and 4 means 3+1. Hence it follows (though the proof is long) that 4 means the same as 2+2. Thus mathematical knowledge ceases to be mysterious.