an eraser can be used to correct mistakes