Topics Related to Definition and Lean: