Paul on summit of Half Dome (note mittens)