Added list of rules of inference and equivalence used