‘A proof gives the
13
prop its sense.’