updated slides for BDD talk at Białystok