CODE CONTRACTS YO