added some rules of inference and proofs