The contract is being typed