Well, you can implement this in a few different ways but here's one approach that uses some int counter=0 of the syntax we just looked at, int counter equals 0.

当然，你可以有好几种方法来实现这一目标,但是其中一种方法,只需要用到我们刚刚看到的那种语法。

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

And I think the example of the Evening Star and the Morning Star-- which is not at all original to me-- that this example shows, this counter example shows, that Descartes' original argument doesn't work either.

而且我认为晨星,和昏星的例子,这不是我原创的,这个例子说明,这个反例说明了,笛卡尔的原来的那个论证也行不通

耶鲁公开课 - 死亡课程节选