Pre-Flight q1 Proofs