Iteration of Semiproper Forcing Revisited

We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Neeman.Comment: 17 page