[...] unbraced X means simply "some relevant constraint of type X".- McCarthy & Prince (2004), Pag. 414