Mattias Villani Bayes' theorem for events