Argumentation and algebraic proof · Study