deterministic finality