EOTYG (Explicit)

ii want $ N Lean (Explicit)