Ecco tre invarianti per una tabella (o struttura dati) che gestisce "token speciali" (ad