Essential freedoms (Score 1)

One of the four essential freedoms, you say, is the freedom to examine and modify source code. You claim that if the user has no way of examining the source code then a potential for abuse is created. However, could not a trusted third party verify that the code is not malign? You are essentially saying that developers should be forced by law to release source code, even if the code is benign.