 We say that a logical game is total if every play is in either \(\W_{\forall}\) or \(\W_{\exists}\), so that there are no draws. Unless one makes an explicit exception, logical games are always assumed to be total. (Don’t confuse being total with the much stronger property of being determined—see below.)