  We show if we use countable support iteration of forcing notions not adding
reals that satisfy additional conditions, then the limit forcing does not add
reals. As a result we prove that we can amalgamate two earlier methods and
prove the consistency with ZFC + GCH of two statements gotten separately
earlier: Souslin hypothesis and non-club guessing. We also answer a question of
Justin Moore by proving the consistency of one further case of "strong failure
of club guessing" with GCH.
