1: \begin{proof}[Proof (Idea)]

2: 	Follows by construction defined in the proof of~\cite{LampisMitsou17} for QBFs of the form~$\exists V_1.\forall V_2. E$. \todo{provide rigorous proof?}

3: \end{proof}

4: