COP 3223H meeting -*- Outline -*-

* predicate-functions

* specifications

* friday-problems