Yes, and possibly also so they can’t get sued or have to license the Michelin name somehow if they can point to the fact that their stars are clearly not the same thing.