O4)x(P