[...] {X} will mean "every relevant constraint of type X" [...].- McCarthy & Prince (2004), a pag.414