"If X is A, and a C is an X, then a C is an A as well./facepalm" . . . . .