strictness on CIC