Derivation of P