If G(φ) lacks a winning strategy, logical principles alone guarantee G(¬φ) cannot both lack one—excl...
This proposition has not been edited since the history system was added.