up to soundness of hered-sub