Li-Fan Chen
says to
YSITD
那個 state 是 automata 或 PLT 的東西