Li-Fan Chen
says to
YSITD
還以為你會說 B is subset of A