Using base widths instead of incjes in HoTT