PrettyProblem has tags.