Category:Amis terms with redundant head parameter