counter hit make

Tag

monomial simplification