File:My First Time Trying Lean (INTENSE)