La Carmen is a restaurant.