Det skulle då inträffa att P.