We were befuddled by this pine tree, of which there were several growing near the summit. Upon return I learned it is known as a pygmy cedar, desert fir, or desert pine. I also learned that it is neither a cedar, fir, nor pine.