set(auto). clear(print_given). include("booleanAx.txt"). include("peirceanAx0.txt"). include("dDef.txt"). include("iii.txt").