o : P * o *1