However, it actually specifies a probability distribution over the decision to back off (B) or not back off (¬B), and we can use different notation to reflect this view.
λ stop (•) and λ choose (•) will represent our backoff distributions for the Stop and Choose decision, respectively.