Formal Events