/* fix up original state so the 'correct' balls end up matching the guesses,
* as we've just proved that they were equivalent. */
/* fix up original state so the 'correct' balls end up matching the guesses,
* as we've just proved that they were equivalent. */