Justin Moore's mapping reflection principle (MRP) seems to capture the consistency strength of PFA, since it implies the failure of square. I present some refinements and extensions of this result. They are due to a variety of authors, and some remain unpublished. Speaker(s): Andres Caicedo (Math Reviews)