So, for the price of at most a few instructions, your program can have the provability of a functional program and the speed and memory characteristics of an imperative one.
The responsible degree of damages should be limited by the provability of medical inspection. In the considerations of illegality and harmful facts, the environmental standards were not concerned.