. . . " where C is a case and I1 ..." . .