Hellwig, M. (1992). Fully Revealing Outcomes in Signalling Models: An Example of Nonexistence when the Type Space is Unbounded. Journal of Economic Theory, 58, 93-104.