Doesn't follow. Consider;

I claim a rock is a non-person.
I expect you accept that statement, I expect that you therefore have a non-person predicate function, yet I also expect you haven't found the answer.

I accept that in order to classify something, we need to be able to classify it.

I'm suggesting there might be a function that classifies some things incorrectly, and is still useful.