FormalAnalyticGeo