equality-part-removed-from-condition