Practice problem
Combination Notation
===
Today (July 28) is National Hamburger Day!

Image by RitaE via [Pixabay](IMAGE ADDRESS) (CC0)
A hamburger restaurant lets you choose up to four toppings for free. The toppings include: iceberg lettuce, romaine lettuce, spinach, mayo, jalapeños, banana peppers, red onion, grilled onions, field greens, arugula, cucumbers, dill pickles, bread and butter pickles, and tomatoes.
How many different burgers can you make with four toppings?