This is the appendix of Meeting 1, Theorem Atik 0. It contains the really interesting parts.
Here's a list of things that sort of make sense:
And here's a link to the next section: