CARMEN, 13.