Added HashSet for testing