Posterior implementation vs ex-post implementation

Posterior implementation is a weaker concept than ex-post implementation. It requires that agents' strategies are optimal against others' strategies, given the precise information made available by the mechanism. Whereas ex-post implementation is generically impossible, we show by example that this need not be the case for posterior implementation.