In the case of the simpler kind of propositions, namely those that I call atomic propositions, where there is only one word expressing a relation, the objective which would verify our proposition, assuming that the word not is absent, is obtained by replacing each word by what it means, the word meaning a relation being replaced by this relation among the meanings of the other words.