Local inversion (Explicit)

Dealer (Explicit)