Title: Sir John and the Quest of Proving