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