set(auto). clear(print_given). include("26_27booleanLaws.txt"). include("monotLaws.txt"). include("viii.txt").