De Morgan
Negating this, by the De Morgan logic we push the negation through, and see that player 1 lacks a winning strategy iff for every initial move a, there is a reply b, such that for every move c, there is a reply, ...such that the resulting play is a win for player 2.
county in Alabama, United States