Positional Games and QBF: The Corrective Encoding