counter hit make

Tag

applied geometric proofs