Constraining a Radiative Transfer Model with Satellite Retrievals: Contrasts between cirrus formed via homogeneous and heterogeneous freezing and their implications for cirrus cloud thinning | Synapse