lambda1@tg
says to
YSITD
because A only happens if B also happens