Formalizing CIN