 [A note of caution: the argument  “\(x^2 = x \therefore x = 1\) or \(x = 0\)” is valid in Common Algebra, but it is  not an equational argument since the conclusion is a disjunction of equations, not a single equation.] 