Adding muppets proprietary