X So here I'm declaring another variable called X, and this is totally legitimate because I already know that if I'm implementing a function like swap or increment, I can absolutely take input.

这里我声明另一个变量，这个完全是合法的因为我已经知道,如果我执行一个像swap，或，increment的函数，我完全可以携带输入。

哈佛公开课 - 计算机科学课程节选

We have carbon 12. I will even leave off the 6 because we already know it is carbon.

我们有碳12，我们将6省去6,因为我们已经知道它是碳了。

麻省理工公开课 - 固态化学导论课程节选