@user14111 Indeed, if A+N have a winning strategy for $(P',Q')$ and $P\subseteq P'$ and $Q\subseteq Q'$, then A+N have a winning strategy for $(P,Q)$. I should probably have spelled this out explicitly.
↧