logical equivalence tagslist