set(auto). clear(print_given). assign(max_literals, 1). include("booleanAx.txt"). include("peirceanAx0.txt"). include("peirceanAx2.txt"). include("iDef.txt"). include("uzDef.txt"). include("dDef.txt"). include("xi_a.txt").