Section outline

    • Immerman: Chapter 4

    • Libkin: Parts from Chapter 10