Not associative

Factoring is not unique