Char-lean has tags.