1.2 Algebraic Procedures