GSA proofs