... ---> M). Which means: if I go to the park ... the necessary condition (which is going to the park ... "or" arrow rule (which is negating the sufficient term that ... (our simplified statement) is ~B---> M or ... not being there, which is sufficient for seeing Mike ...