constraints in spec