Mama Mia is a restaurant.