tr P o : P -!