Added list of rules of equivalence and inference