SMS dit: Notes on forcing axioms /