They don't namespace. I think it's a good idea.