shminux comments on Defining causal isomorphism