We will look at the high-dimensional expander construction and analysis by Kaufman and Oppenheim (rather, the exposition by Harsha and Saptharishi). Both the construction and analysis are elementary and based on simple group theory. I won't assume familiarity with HDXs.