A verification procedure that accepts speculative proposals if they match the model's distribution, or corrects them if they don't.