Another encoding for CI