"exists no class E such that E is a type of C and E is in the" . . . .