mushrooms are a kind of pizza topping.