Como la gran parte de los predicados nombran propiedades, nosotros asumimos de forma natural que "es verdad" también lo es.