“Assurance Contract” (mechanism design; backlinks)