‘A proof gives the
13
proposition its sense.’