@stux What about transitivity?