(MR)Class Formal Top