On Whiteface Mountain’s summit