Public announcements in dynamic epistemic logic install hard certainty (probability 1), but empirica...