Short Proof(s) for Classical Theorems Kees Doets Abstract: This note exploits back-and-forth characteristics to construct, using a single method, short proofs for ten classics of first-order and modal logic: interpolation theorems, preservation theorems, and Lindstroem's theorem.