who was the first to reach the top of pyramid mountain?
(AND geography.mountaineer (JOIN geography.mountaineer.first_ascents m.052f7k))