x It says, take the name x and create a binding for that name to the value of the sub-expression and in fact to do this, to stress a point, let's do that.

它的意思是，创建了一个名字,然后创建了对于这个名字,和子表达式的值的绑定,实际上这么做，我们是为了，要强调一个点，让我们来说说这个点。

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

And this is a point I want to stress here.

我想要区分浅意义上的相等,和深意义上的相等。

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