x
Up to isomorphism - History — LessWrong