lt x 0 false lt 0 s y true lt s x s y lt x y cons x cons y ys cons y cons x ys lt x y true lt 2 0 0 false 0 s 1 true 0 cons 2 ORIENTED FULL