set(auto). clear(print_given). assign(max_seconds,4). include("peirceanAx0.txt"). include("peirceanAx2.txt"). include("iDef.txt"). include("17To19booleanLaws.txt"). include("vii.txt"). include("xxvi.txt").