Migrating FRCP specs