Results of the verification retrieval using Cloud model 1. Panel a: synthetic observation, best-fit spectrum and residuals. Panel b: emission contribution function. Due to the clouds, pressures larger than 1–2 bar cannot be probed. Panel c: retrieved pressure-temperature confidence envelopes. The black dashed line shows the flux average of the emission contribution function that is shown in panel b. The opaqueness of the temperature uncertainty envelopes has been scaled by this contribution function, with a minimum value of 10%. Panel d: 2d posterior plot of the (non-nuisance) retrieved atmospheric parameters. The red dashed lines denote the input values. The values of the cloud mass fractions at the cloud base have been divided by the mass fractions predicted when assuming equilibrium condensation at the cloud base location.