generalized remove implications and remove equivalences