an eraser can be used to erase pencil marks