https://laughingsquid.com/muppet-name-etymology/