All etching tools are either pin-tipped or bladed  While some bladed etching tools are used for engraving, some are not  On the other hand, all pin-tipped etching tools are used for engraving
Thus, there are more etching tools that are used for engraving than there are etching tools that are not used for engraving
All etching tools that are not used for engraving are bladed.