Topics Related to 2011, Groups and Lean: