  It has long been noted that Aristotle is here assuming that his opponent takes the very strong position that for any x and for any F, it is possible for F to belong and not to belong to x at the same time in the same respect &amp;c. Later he says that he is glad to have stamped out the view according to which we do not have anything definite in our thinking (Metaph IV 4 1009a3–5).