As Knuth's structured program correspondence and later Papadimitriou's complexity-theoretic work sho...