 We have assumed throughout that the set of propositions on which an agent’s credence function is defined is finite. What happens when we lift this restriction? The first problem is that we need to say how to measure the inaccuracy of a credence function defined over an infinite set of propositions. Then, having done that, we need to say which such credence functions are accuracy dominated relative to these measures, and which aren’t.