Juris Hartmanis: Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version). STOC 1977: 223-227