Added the HoTT book