Were Muppets involved? They were.