a tool for making holes or indentations