to migrate [ migrated ; migrated ]