Algebraic Proof and Properties