M68F21_Lecture_12_Sperner_property.pdf