O : pr ® P ® o p S * ~n p.