BUT WHAT IS mushroom ketchups, REALLY?