Which vegetable is usually minced in a recipe?