\[ \newcommand{\Int}{\mathsf{Int}} \]