Title: Contracting with contracts