for I being set holds [#] (OrderedFIN I) is directed