Contracts testing Checked..