Simplify PRExxx statements