Category:Hértevin terms with redundant head parameter