Re: Theory symbolic computing (fwd)