Category:Duala terms with redundant head parameter