lambda1@tg
says to
YSITD
Or I should say, there is no way A is true without B being true