Pr * p & Past L.