Sean Wei
says to
YSITD
A and B => A⊂B A and other B => A!⊂B