ペンチは道具の一種である．