ha^va utkommit från P.