COP 3223H meeting -*- Outline -*-

* stepwise-refinement

* friday-problems