counter hit make

Tag

existential interpretation