Where my lean go (Explicit)

Where my Lean go (Explicit)