Ecco tre invarianti per una tabella di token speciali, pensate per un sistema di gestione di aut