Category:Toto terms with redundant head parameter