Use contracts.