Perhaps because human evolution took place in a challenging environment of essentially game-theoretic human choices, with consequences for strategic failures, we seem to have an innate capacity for the strategic reasoning underlying these complex, alternating-quantifier mathematical assertions. I find it remarkable how we can leverage our human experience in this way for mathematical insight.
