The Non-Determinism Budget | TinyFish