Inference and Equivalence Rules