1. 1. Overview
2. 1. 1.1. Capabilities
   2. 1.2. Choosing Place Labels
3. 2. Definitions
4. 1. 2.1. PCG Nodes
   2. 2.2. PCG Hyperedges
   3. 2.3. Places
   4. 2.4. Lifetime Projections
   5. 2.5. Validity Conditions
   6. 2.6. MIR Definitions
5. 3. Analysing Statements
6. 1. 3.1. Rules for Determining Place Conditions
   2. 3.2. Rules for the Creation of Borrows
7. 4. Owned PCG Operations
8. 5. Join Operation
9. 6. Loops
10. 7. Function Calls
11. 8. Misc (To Update)
12. 9. PCG Operations
13. 1. 9.1. Obtaining Capability to a Place
    2. 9.2. Collapsing Owned Places
    3. 9.3. Activating Two-Phase Borrows
    4. 9.4. Packing Old and Dead Borrow Leaves
    5. 9.5. Repack Operations
    6. 9.6. Borrow PCG Actions