combine equivalence closure conditions, etc.