Delon's analysis of types in valued fields becomes especially clear wh
en we add a function symbol for a ''coefficient map''. In particular w
e get a proof of the Ax-Kochen-Ershov principle for the independence p
roperty in equal characteristic zero.