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
No etching tool is both a pinned and a flat-edged.
 As a result, more etching tools are used for carving than those not used for carving