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