a nail punch is a type of tool.