The market-maker will also happily accept money for nothing, corresponding to ⊢G.
If I understood the analogy correctly, taking money for free would correspond to ⊢⊤, but taking the goods for free would correspond to ⊢G.
If I understood the analogy correctly, taking money for free would correspond to ⊢⊤, but taking the goods for free would correspond to ⊢G.