lambda1@tg
says to
YSITD
As long as every nonempty subset has a least element