@Samuel_Hansen your entire thesis is shorter than my introduction! And I'm doing computability, so no pretty drawings. I regret my choices.