[Isabelle-Cosmo-Sneak-peek-24]