news:sci.math.symbolic