Theory symbolic computing (fwd)