We present general recursive methods to handle environments where privately observed
variables are linked over time. We show that incentive compatible contracts are
implemented recursively with a threat keeping constraint in addition to the usual temporary
incentive compatibility and promise keeping conditions. Journal of Economic Literature
Classification Numbers: D30, D31, D80, D82.