Per a mi, i d’acord amb la cartografia i bibliografia esmentada, el cim comarcal és el cim de les Mirandes, però per a altres llistes i persones ho va ser o seguirà sent el tossal del Rei.
Per no contradir a ningú, ofereixo la ressenya del meu ascens a ambdós cims.