... sufficient for not seeing Mike, while not seeing Mike is sufficient for ... mean P is sufficient for the sufficiency of ~M for B. P ... where every item is sufficient for the next individual item down ... in (1), where the necessary condition doesn't itself guarantee ...