[nilirl]

> conditioned on verified success

Thank you! That made it clear to me why it's an useful caching technique.