особливо зі станом перевірених обчислень