Online Library TheLib.net » Natural commutativity and associativity