When firms compete by choosing mechanisms, followed by consumers choosing firms, it
is tempting to use the revelation principle to claim that we can restrict attention to mechanisms in
which players report their initial types. This paper shows that this