Comment by ireadmevs

Deterministic assurances on top of nondeterministic tools