lambda1@tg
says to
YSITD
Remember, A ONLY IF B means A => B