Added more classics and HoTT