Solving the world's biggest problems with representation.