Now uses google's hash set