page 303. add conflicting constraint