what can jasper learn from computer algebra and theorem-proving systems?
--
Computer algebra systems get rid of parens around assoc ops to reach canonical form