Picture-sinking

(*)

Main ingredient of the Lindstrom’s theorem proof (first order logic is the strongest one with both compactness and Löwenheim–Skolem), from “Mathematical Logic” by Ebbinghaus/Flum/Thomas.

Update. Ok, the picture seems to be a universal one. Hatcher uses it in his topology book for somewhat different purpose , with slight variations