Added some yes/no proofs