We can basically express those assertions in the realm of the programming language.
在编程语言范畴内，我们基本上就可以表述这些断言。
youdao
应用推荐
模块上移
模块下移
不移动