x
Up to isomorphism — LessWrong