Bottom-left panel: the derived ﹩\mathrm{log}({K}_{zz})﹩ of CO, CH₄, and NH₃ as a function of quenched pressures based on the temperature–pressure profile and abundances from the 500 posterior samples of the PICASO retrieval. The median values of ﹩\mathrm{log}({K}_{zz})﹩ and quenched pressures of are plotted in colored dashed lines. CO₂ has the lowest median K_zz among the three species and has the lowest quenched pressure (22 bar) while ﹩\mathrm{log}({K}_{zz})﹩ of CO is the highest with a median quenched pressure of 47 bar. The derived ﹩\mathrm{log}({K}_{zz})﹩ of the three molecules increase with higher quenched pressures. Top-left and bottom-right panels: the histograms of the derived K_zz and quenched pressures are plotted in the top-left and bottom-right panels, respectively. See the text in Section 3.5.2 for details about the derivation of K_zz.