12. Appendix

These chapters are included for support but are not needed for the proofs.