fixed constraint (just a very small test-case so far)