Bruce McNaughton argues that any difference between associativity and cooperativity is strictly semantic.
Knuth states that a simple proof that associativity implies distributivity remains unknown.
