P_in_K_as_P_extends_..