Topics Related to Events and Lean: