 Pizzi and Williamson (1997) show that CI can be faithfully embedded into the normal modal logic KD, and vice versa. Analytic consequential implication is interpreted according to the following translation function φ: