“…That is, states C t = (w t−1 , µ t−1 ), such that the principal will not renegotiate w t−1 . We extend the definitions in Gretschko and Wambach (2016) by considering arbitrary type spaces and not merely discrete ones. In Section 6, we demonstrate that renegotiation-proof states arise from mechanism selection strategies that are consistent and optimal in the sense of Vartiainen (2013).…”