This talk will first address basic cultural difficulties faced by the theory community (and especially by junior theorists), and then discuss 4 areas of progress: small models, conditional theory, frontier algorithms, and classical analysis.