JoshuaZ comments on Help: When are two computations isomorphic?