 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.