Topics Related to 2023 and Lean: