Use HashSet for performance reasons