missing Eq constraints