Category:Tol terms with redundant head parameter