- check the initial state and sampled ranges
- result is cached.