its inhabitants had migrated to riodeva some time before