Topics Related to Analysis and LEAN: