is a 2D-PIR interval, then S.interval(A,B,ST) is an intveral
such that there is a subsequence
in Rst(A,B).
If no such sequence exists, the result is the special value Never.
Never