[tzs]

> That's only true for closed source systems. You can easily debug open source ones, look at their insides and so on.

Who is "you"? In fact, very few people can debug a modern symbolic mathematics system. They are fiendishly complex.