Class Formal Top