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