Chapter 4. PBC Basics

This chapter gives a high-level view of the library, and explains various design choices and conventions.