And it becomes a powerful way of reasoning about the code, a powerful way of using the code, so those notions of specs are really important.

以保证你写对代码,这将成为分析代码,使用代码的重要手段,所以规范说明的概念。

麻省理工公开课 - 计算机科学及编程导论课程节选

And also, you can't take land unless you make sure that there is as much land as possible left for other people to take as well.

同时，你不能掠夺他人土地，除非你保证,还有足够的土地留给其他人使用。

耶鲁公开课 - 公正课程节选

So the way that we really make sure this is done is that we use x-rays.

我们保证能做到这一点的方法是,使用，X，射线。

麻省理工公开课 - 化学原理课程节选