2952-416 STED [AY 2022 Fall] Meeting 5

We continue our work constructing the framework of our positive analysis: