LEAN + MD (Explicit)

LEAN + MD (Explicit)