Went off the rails with determinization.

Things still more or less work. But I’ve fiddled more than I feel
comfortable with. I would probably start with the version *before* this
one, to be on the safe side.