I agree with you.

However, I think you're using "isomorphic up to X" incorrectly. Perhaps I don't know what you mean by "semantics", though.