I would be surprised if President Nelson wanted or allowed the school to be in
his name. I am not expressing an opinion on what I want or think should happen. The alumni center was named after President Hinkley, but no buildings named after President Monson are there?