In That Case (Explicit)

Lean