Abstract The Theme. Strong forcing axioms like Martin’s Maximum give a reasonably satisfactory structural analysis of $H(\omega _2)$ . A broad program in modern Set Theory is searching for strong beyond $\omega _1$ In other words, one would to figure out the properties taller initial segments universe. However, classical techniques iterations seem unable bypass obstacles, as resulting forcings ...