P crq ^ P Ka.