[SubiculumCode]

good catch, but add those two peaks together and they are still shorter than Mount Whitney.

https://en.wikipedia.org/wiki/Mount_Whitney

https://en.wikipedia.org/wiki/Sierra_Nevada_(U.S.)