Jasper Yu
says to
YSITD
空集合不能叫state好嗎