The most common example of such logic is multiplying by maybe-zero (transforming a=b into ac=bc) and factoring out a possibly-zero factor (transforming ac!=bc i

The most common example of such logic is multiplying by maybe-zero (transforming a=b into ac=bc) and factoring out a possibly-zero factor (transforming ac!=bc into a!=b).