Q PROOFS (17)