Topics Related to Article, Groups and Lean: