Talk:Virtual valuation

Currently, the article says that a key part of Myerson (1981) with reference to the study is that.

The expected profit of any truthful mechanism is equal to its expected virtual surplus.

However, this is not the language used in the myerson paper, and it should be useful to have links to concepts like truthful mechanism (Myerson uses feasible), and surplus, or explain how this conclusion is reached from Myerson's paper since it is not explicitly stated there.