 For immediate contraries formed by narrow-scope predicate term negation, the rendering \(a\) is not-\(F\) in the traditional quasi-English phrasing corresponds to what Aristotle expresses through word order, utilizing the distinction between e.g., einai mê leukon “to be not-white” and mê einai leukon “not to be white” (Prior Analytics I 51b10). For Aristotle, \(a\) is neither \(F\) nor not-\(F\) can be true if \(a\) doesn’t exist (Santa is neither white nor not-white) or isn’t the kind of thing that can be F (The number 7 is neither white nor not-white), given that not-\(F\) is taken to affirm the negative property non-\(F\)-ness of the subject rather than denying a positive property.