G2-1 Beginning proofs