$ 0 0 IMO A ; IMP -> GS; GS -> Slistn ; Slistn -> UnderM.Roots. Here only A says -> No Slistn => No GS which is contrapositive of 2nd statement.