This is a short essay that highlights a few of the areas in which the literature has made substantial progress, discusses what enabled this progress, as well as where current tools are poised to make further contributions, and points out some of the most important open problems.