1 General ToolsChapter 1: Category TheoryChapter 2: Gluing LemmasChapter 3: Inequalities and ComputationsPowered by Spec