Leaky Abstraction, and the observation that every big-enough program evolves configuration which tends to turing completeness. Leans on Peter van Roy's classification of programming paradigms.