  We prove a variety of theorems about stationary set reflection and concepts
related to internal approachability. We prove that an implication of
Fuchino-Usuba relating stationary reflection to a version of Strong Chang's
Conjecture cannot be reversed; strengthen and simplify some results of Krueger
about forcing axioms and approachability; and prove that some other related
results of Krueger are sharp. We also adapt some ideas of Woodin to simplify
and unify many arguments in the literature involving preservation of forcing
axioms.

Logic