Do not throw equalities away in substitution rule