Yes, P is a proof.