a2q2-proof