  Suppose one wants the most general equational conclusion derived from \(r = 0\) that involves some, but not all, of the class symbols in \(r\). Then one wants to eliminate certain symbols. Suppose \(r\) involves the class symbols