1993: Rename graphs' � nodes � as � vertices �.