counter hit make

Tag

theorem applications