add HoTT sumd input