Formal events