We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This relation is obtained by De Nicola & Vaandrager by translating labelled transition systems to Kripke structures. while lifting the totality restriction on the latter. They characterised it as divergence sensit... https://lecoureures.shop/product-category/ski-de-fond-homme-bottes-combi/