You are likely to find a pencil sharpener around in a schoolroom