<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Mar 8, 2019 at 8:59 AM Martijn van Exel <<a href="mailto:m@rtijn.org">m@rtijn.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;">If it’s locally known as such,...    </div></blockquote><div>Someone might say "on our way to the summit of Sawtooth Mountain we passed just west of Point 12227", but to me that isn't really a name, it is just a short cut for saying "the point that the USGS Topo map shows as 12,227 feet high", in other words, it is a description, not a name.  </div><div><br></div><div>Mike   </div><div> </div></div></div>