Если изначально была теория, что ничего не должно пересчитываться, но появилось доказательство, что должны пересчитываться два дота = это пруф того, что должны пересчитываться два дота. То есть можно сделать перерасчет этих двух дот. Появится пруф на остальные - будет исправлено остальное.