an eraser is a tool to remove pencil marks from paper