Not everybody's building a product that deals with sensitive user data. By your logic all code not written in proof languages should be illegal.