Notchtop Mountain, now far up the valley above us