Additional constraints and tests.