Seol mar théacs é seo: Notes on forcing axioms /