.Lean (Explicit)

.Lean (Explicit)