Redefinition

Lean (Explicit)