If the property we want to achieve is "a | b == b | a" we necessarily have to forget the order of the arguments.