Also, see Section 4.1 of "General Concepts.pdf".