I'm wondering how the absence of Voevodsky affect the research of HoTT related field?