An eraser erases pencil writings