fix(hott/trunc): comment out sorry