  Suppose the domain contains several concrete objects (including some green ones), as well as some abstract objects. Intuitively, (20) is felicitous and true (after all, there are some green objects in the domain). However, according to the WK treatment of category mistakes the sentence ought to be truth-valueless. This is so because the existential quantifier scopes over the open formula ‘\(x\) is green’ which is truth-valueless relative to some assignments  (e.g. ones where \(x\) is assigned a  number).[23]