Here's Woodin talking about his work in this area on a more technical level: https://www.youtube.com/watch?v=nVF4N1Ix5WI