Enligt ett formligt kontrakt,