An important art of politicians is to find new names for institutions which under old names have become odious to the public.

An important art of politicians is to find new names for institutions which under old names have become odious to the public.