s substring t tests whether the list of values taken by s occurs in the same order and contiguously in the list of values taken by t.
letting s be sequence(1,1)
letting t be sequence(2,1,3,1)
find b : bool such that b <-> s substring t $ false
See it demonstrated here.