I'm a beginner in mechanism design. I learned that 'a (direct) mechanism is truthful if an agent truthfully reveals his/her type.' Then, how can we define a truthful indirect mechanism? I'm not sure how to do that because the information revealed in an indirect mechanism can be any message, which is in general different from the underlying type.
Thanks!