Polymarket had een AMM moeten zijn