He just solved the world problem