... ~B ---> M). Which means: if I go to ... us the necessary condition (which is going to the ... the "or" arrow rule (which is negating the sufficient term ... seeing Mike is sufficient for birds being there? Or ... not being there, which is sufficient for seeing Mike? The ...