Category:Baatonum terms with redundant head parameter