set(auto).
clear(print_given).

include("xtremeOptions.txt").

% assiomi booleani e peirceani
include("booleanAx.txt").
include("peirceanAx0.txt").
include("peirceanAx1.txt").
include("peirceanAx2.txt").
include("iDef.txt").
include("uzDef.txt").

include("xx.txt").