lemotw
says to
YSITD
A implied B but A not equal B