If the pizza shop of Example 2.20 decides to always put onions and mushrooms on its pizzas, how many different varieties can the shop now offer?

That leaves 7 optional toppings for the total of \(2^7 = 128\) different varieties of pizza.