How goods were allocated did affect who would end up owning the mugs. In other words, the Coase theorem worked in theory, when trading for tokens redeemable for cash, but it did not work in practice, when trading for real-world objects like coffee mugs.
