RibbonCover for the classification theorem.