Com S 641 Lecture -*- Outline -*-

* first-order-calculi

* environment-lemmas