Topics Related to Event Chain and Lean: