Moved truncations to hlevels.tex