(Y^X) %% P