Category:Shan terms with redundant head parameter