formula Deductions inequation is subclass of formula ⇐ (equation is subclass of formula), (equation is opposite of inequation)