badtheatre comments on Defining causal isomorphism