All etching tools are either pinned or flat-edged  However, some flat-edged etching tools are used for carving and some are not  On the other hand, all pinned etching tools are used for carving
There are as many etching tools for pinned as flat-edged ones.
 As a result, more etching tools are used for carving than those not used for carving