Methodology Formal statistical background and mathematical framing for GeoLift. Pages Synthetic Control Formalism