Implementation With Contingent Contracts