these constraints work