HoTT is a Polyvalent Foundation of Mathemtics - Andre Joyal