 Feferman’s proof of interpolation is obtained directly as a corollary of one of his theorems for sequents (see Feferman 1968: 56–62; Theorem 4.3) and its applications are model-theoretical, what reveals again the peculiar centrality of interpolation.