• On a (vieux Lispien) : x ∨ y = if x then t else y

• Donc on cherche ∨ tel que ∨ x y = x t y

• Cherchons :

∨ x y

= x t y
= C* t x y

• On peut donc prendre :

∨ ≡def C* t