General idea of SA

IsOnTop and IsOnLeft methods for sequence pairs.