The upper geodetic vertex covering number of a graph | Synapse