lambda1@tg says to YSITD
We can produce an ordered sequence