finished min() max() suc() pre() for bet