boolean
constraint