infinitely many constraints