foursquare theorem draft