Mamma Mia is a restaurant.