Delete HoTT.pdf