G.02.02.
Algebraic Proofs