I fogli tarskis_world.cnt e tarskis_world.sig si trovano già
nella cartella tarskis_world scaricata in fase di installazione (Vedi
Fig.install.2). Siccome i fogli sono modificabili,
si potrebbero apportare modifiche che rendono i fogli non più utilizzabili correttamente.
In tal caso è possibile ripristinare la versione originale "importandola" con il comando
Importa tarski del menù Contesti.