Q proofs for all 2 remember