counter hit make

Tag

predicate logic