Supplement to "Implementation with Contingent Contracts"

This supplement presents an example that shows that Theorem 1 breaks down when the type space is countably infinite. It then presents a few extensions to the results in the paper