algebraic procedure