bugs in constraints