 (CA) says that satisfying a certain conditional is both sufficient and necessary for having a certain ability. There are two kinds of counterexamples that may be brought against (CA): counterexamples to its sufficiency, and to its necessity. Let us take these in turn.