definitional_isomorphism