tests constrained