Someone uses an electric pencil sharpener to sharpen their pencil after using a manual one.