hasta sequence-contains?