由于引入需要指出模块的逻辑名字并能够辨别出版本号，因此多个版本能够在同一个系统中运行和更新。
Since imports refer to a module's logical name and can specify a version number, multiple versions simultaneously can be run and updated in a live system.
由此可见，有一个很清晰的逻辑可以辨别坏跑姿，并将它们系统化。
As you can see, there is clear logic here in identification of elements of bad form and systemizing them.
辨别有效论证与非有效论证是逻辑哲学的中心任务。
It is the main task for logical philosophy to distinguish the valid arguments from the invalid ones.
应用推荐