Li-Fan Chen
says to
YSITD
能指跟所指本來就不一定是 injective 的