Remove hom-trunc