shouldn't this be part of the constraint?