 The obvious consequence of these rules is that, with the sole exception of insolubilia, which are called false not because they signify the false, but because they affirm themselves to be false or not to be true, all the other kinds of proposition are true if and only if what they signify is true, and false if and only if what they signify is false (ibidem, p. 64).