I will discuss a couple of reflection principles which follow from Martin's Maximum and/or the Proper Forcing Axiom. I will focus mainly on the Map Reflection Principle (MRP), a principle discovered by Justin Moore which follows from PFA and has nice applications (including SCH and failure of square).