sharpener [pl. sharpeners]