Scrivi tre invarianti per una tabella di token speciali.