After Dagstuhl talk