to make this canonical I think you should use `v = list(ordered([a.args[0], b.args[0]]))`