set(auto). clear(print_given). include("nDef.txt"). include("dDef.txt"). include("uzDef.txt"). include("13booleanLaws.txt"). include("15_16booleanLaws.txt"). include("i.txt"). include("xvi_a.txt"). include("xvi_b_ghost.txt").