more constraints + test script