The grant funded the establishment of an undergraduate laboratory dedicated to the first three programming classes, CSc 102, CSc 212, and CSc 221.  The objective of the project was to demonstrate that OOP and Formal Methods can be combined in the early CS sequence, leading to a Sophomore course (CSc 221) in which OOP and FM are combined in an introduction to OO Design.  This course becomes a capstone of what precedes it, and a gateway to what follows.