LEAN (Explicit)

LEAN (Explicit)