g_pepper comments on P: 0 ⇐ P ⇐ 1