$MIRA doesn't even make sense for the flow of Trades to get stuck, isn't it?