The original (unmodified) values, used for display and for case-sensitive matching.
final Set<String> values;