Category:Zou terms with redundant head parameter