finiteruinprob: update