Optimizing compilers are a lot like nuclear power plants. They are both very powerful and very dangerous.
The essence of mathematics lies in its freedom.