Update: the following updates: Part 6: Implementing a non-null string collection Part7: Spec# Wrapup Well, I thought I'd find some distraction from watching my Hokies losing to Kansas right now 14-17. Boo! Oh well, let's get back to our coverage of Spec#. Let's get caught up to where we are so far. Review each of these before we continue. Part 1: Spec# introduction Part 2: Method Contracts (Preconditions/Postconditions) Part 3: Invariants Part 4: Object Ownership/Assertions & Assumptions So, ......