an eraser holder is used for erasers