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.