20/07 :  Proof Exists