The problem is that P is actually part of A. It should be called the CA theorem.

It's all about what you choose in the face of P. Do you choose C or do you choose A?

Yes. But calling it CP or AP makes it seem like you can also choose CA.

(Also both CP and AP have alternative very dodgy meanings)