The building is statutorily named the John F. Kennedy Center for the Performing Arts. Congress did not give the board the authority to change the name.