Which of these tools is mostly used in traditional carving?