kermit the frog is a muppet.