Spilled Some Lean (Explicit)

Spilled Some Lean (Explicit)