Grammar, highlighting with mintinline, etc.
Finish slide on invertibility of Synthesizable
Section subsection title slides
finalized patches / good subsection pages