One solution to this problem is to use a more powerful tool to express such conditions and that tool is a programming language.
We wanted a developer-friendly programming language that could also be used with our proving system.
这个问题的一个解决方案是使用更强大的工具来表达这些条件，而该工具就是一种编程语言。
我们想要一种对开发人员友好的编程语言，它也可以与我们的证明系统一起使用。