Category:Laz terms with redundant head parameter