Text this: Definable isomorphism problem