Thus a proposition “fa” shows that in its sense the object a occurs, two propositions “fa” and “ga” that they are both about the same object. If two propositions contradict one another, this is shown by their structure; similarly if one follows from another, etc.