icate that is functional in its Kth place. Given any (N-1)-tuple consisting of things that are, respectively, legal arguments for (i.e. satisfy all argument-constraints on) the N-1 argument-places in PRED other than its Kth-place, there is at most one thing -- call it O(K) -- such that (PRED O(1)..O(N)) is true. (The one exception to the above is when the entry-format for PRED's functional argument-place is #$intervalEntryFormatInArgs (q.v.) instead of #$singleEntryFormatInArgs. In that case there might be 