Topping off ceremony for the new Belmont Public Library.