Bayesian incentive compatibility ($v{X}_i(v)-P_i(v)\ge v{X}_i(z)-P_i(z)$)

Truthful reporting is Bayesian incentive compatible when every type maximizes its expected utility over the other players' types by reporting truthfully. In an independent private values model, the displayed inequality uses the same interim allocation and payment functions for every possible true type.