Input (grade 9): These polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century.
Output (grade 7): Five of these may be thought of as higher dimensional analogs of the Platonic solids.