Category:Bagvalal terms with redundant head parameter