We study full surplus extraction and implementation in dynamic environments. We exploit intertemporal correlations of agents' types to construct within-period ex post incentive compatible mechanisms. First, we formulate one-shot environments, in which a single agent has a hidden type and the...