set(auto). clear(print_given). include("i.txt"). include("20To24booleanLaws.txt"). include("xxviii_a.txt"). include("xxviii_b_ghost.txt").