KimC_formal