I had a nice “working” day in Budapest today, spending most of the time looking at Markov chain diagrams and Peskun orderings with Randal Douc, while drinking litres of iced coffee, meaning I skipped a large part of the talks at EMS 2013 I am afraid… Thanks to the very early sunrise in Budapest (which is on the same time zone as Brest or even Porto!), I managed to have a long run along the Danube and a breakfast with my friends Gautami and Peter before the conference had even started. I still attended David Balding’s invited talk on DNA based evidence, containing an illustration in the Amanda knox case, the Bayesian non-parametric session, which provided me with additional illustrations for The Talk, from Bernstein-von Mises to species estimation, then the computational biology session where Michael Stumpf showed us a masterly mix of stick breaking processes, Bayesian networks, hidden Markov models and genetics. And… we managed to make considerable progress in this proof of ours!