NIL and Contracts