Andyʼs working notes
About these notes
Not-self
==TODO==
Last updated 2023-07-13.