结合演算

associative calculus