Jonathan_Graehl comments on Help: When are two computations isomorphic?