Correct contracts