set(auto).
clear(print_given).

include("peirceanAx1.txt").

include("nDef.txt").

include("4To8booleanLaws.txt").
include("9_10booleanLaws.txt").
include("15_16booleanLaws.txt").
include("i.txt").
include("monotLaws.txt").

include("cycleLaw.txt").

include("cycleLawsB.txt").