The administration has made it clear that Nicolás Maduro's capture was tied to Venezuela’s vast oil reserves. Much less certain is how US companies will actually access them—or if they even want to.

Descriptive set theorists study the niche mathematics of infinity. Now, they’ve shown that their problems can be rewritten in the concrete language of algorithms.