a pencil eraser can erases pencil marks