You say that symbolic math packages address runtime errors and sth. like unification of services. I know what REDUCE and those do, but I don't use them and don't see what you mean. Could you be more specific? Rainer