put the constraint in the right fact, Steve