Associativity law: α is the associator.