är utlagd^ i P.