Check that contstraints work.