Q Strategies FinalsQ Strategies proofs