Meanwhile, because COREF drops all states but one after each object is completed, there is a single hypothesized state at each time t whose descendants will ultimately capture all of COREF's probability mass.
for each time t, COREF will retrospectively classify exactly one state as correct.