We know that the rights to the term "Muppet" were included in the sale of the Muppet characters from the Jim Henson Company to Disney in 2004. Three years earlier, the rights to the Sesame Street characters which had previously been co-owned by both Sesame Workshop (in those days it was called Children's Television Workshop) were sold entirely to Sesame Workshop, meaning that beginning in 2001, the Jim Henson Company no longer owned the rights to the Sesame Street characters. Newer Sesame Street material says "Muppets is a trademark of the Muppets Holding Company". (The Muppets Holding Company is a subsidiary of Disney.) Why does Disney still allow Sesame Workshop to use the term "Muppets"?