 The thesis of the Logica Magna that what is signified by a true negative proposition is not something real was not consistent with the universal principle adopted by Paul in this context: a sentence is true if and only if it is a signum veri, nor with what he affirms about the reality of what is signified by a true affirmative sentence, which he identifies with the molecular truth which derives from the veritas manifestationis proper to the atomic beings, and which is at the same time really identical-with and formally distinct-from them (ibidem, pp. 156 and 166).