Com S 641 Lecture -*- Outline -*-

* subtyping