Ingredient: finely diced onion