We know that it is very difficult to avoid errors in nontrivial programs and a considerable effort is necessary to check them. Commercial computer algebra systems are black boxes, and their algorithms are opaque to the users (and of course, also the source code), which certainly does not contribute to avoiding errors.