Juris Hartmanis 1928–2022 Gödel's Lost Letter and P=NP, 30 Jul 2022 A sure foundation for Computational…