Contracts Are Essential For Safety