Yay, read the bloom filter paper! 
Took an hour or so, not sure I'd recommend reading the whole thing, but just 5 pages sooo… maybe?pic.twitter.com/j9WkohD9cz
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Reason why I don't necessarily recommend is b/c lots of repetition, and bit thick on formally proving. But guess it was v important they did