Leveraging External Controls in Clinical Trials: Estimands, Estimation, Assumptions | Synapse