You must log in or register to comment.
Laws need to be explicit.
I don’t think anything in the ruling hinged on the semantics if the world “means”. That said, there is nothing ambiguous in saying that a logical relation is not symmetric. Symmetry, like reflexivity, transitivity etc, are well defined in algebra.