The edited version of our 3 hour talk.