Ex post individual rationality
= Ex post individual rationality
Ex post individual rationality requires nonnegative participation utility at every realized profile of types. A truthful threshold allocation with its <critical-value payment> satisfies this condition for nonnegative valuations.