This is a truly insightful and well-written article! This is the first time I've learned that Polymarkets achieves Yes + No = 1 through a mirrored, shared order book. I understand that this type of prediction market, suitable for mainstream market makers, especially long-tail and social markets, should have two completely independent Yes and No betting pools? Similar to two prize pools, where the winning pool takes the losing pool, and your winnings are distributed according to your proportion in the winning pool. I vaguely remember @42space doing it this way.