equational constraints