Under antagande att P . rymt.