... parenthesis by changing the first arrow to an "and" and ... the park and do not see Mike, then the ... to the park and not seeing mike) being sufficient ... is sufficient for not seeing Mike, while not seeing Mike is ... is sufficient for the birds not being there, which is ...