Li-Fan Chen
says to
YSITD
associative 應該是 a(bc) = (ab)c