premise: a counter may be used to stiffen the material around the heel and to give support to the foot
hypothesis: counter is best characterized as a kind or type of assembler (or assembly program), defined as 'a program to convert assembly language into machine language' .