... sufficient terms that should occur to give us the necessary condition ... (which is going to the park and not seeing mike) being sufficient ... park is sufficient for not seeing Mike, while not seeing Mike ... and make it a sufficient condition for the other.