. . . . "Though other institutions such as state and local governments and private businesses may use other names, it is our policy to always refer to holidays by the names" .