Cauchysequence tagslist