$MINIMAX is done; the traders are all not going to close their positions