Contracts: Time to kill