p : P I p |.