我现在有种能量守恒定律的感觉 也就是算力守恒 is 和 ought 就混在一起了