1·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.
从而，在只是付出了一些指令的代价后，您的程序会拥有函数式程序的可证明性和命令式程序的速度和内存特性。
2·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.
污染损害可归责的程度应以医学观察的可证明性为界限，在违法性和损害事实考量中，环境标准均非所问。