A specialization is chapters, a chapter is ordered lessons, a lesson is blocks from a fixed set. Nothing is assumed, and each thing rests on exactly the one before it.