A decision method for elementary algebra and geometry | lit.salon