Category:Taos terms with redundant head parameter