Lean A has tags.