finalH([]).