Ax-Kochen and Ershov showed that under certain conditions, a Henselian valued field inherits model-theoretic properties from its residue field and value group. Emulating earlier arguments of Abraham Robinson, I will sketch a new proof of such results, and raise the question as to whether the many-sorted interpolation theorems of Feferman could simplify the argument.