address indeterminacy in FiniteSet