Correct semantic for CI