Lots of nice answers here. How about another: You're both right. Variables x, y range over computations, and "x == y" is true when those computations yield the

Lots of nice answers here. How about another: You're both right. Variables x, y range over computations, and "x == y" is true when those computations yield the same value. > What am I missing? The fact that your statement does not contradict the one in the article.