https://matthewaskes.nz/ 2023-03-22 https://matthewaskes.nz/res/Online_Computable_and_Punctual_Structure_Theory.pdf