Finished with text of ch1 of HoTT book