Some new constraints work