set(auto).
clear(print_given).

formula_list(usable).
	all x ( x = x ).
end_of_list.

include("peirceanAx0.txt").

include("peirceanAx1.txt").

include("nDef.txt").

include("iDef.txt").
include("dDef.txt").

include("11booleanLaws.txt").
include("17To19booleanLaws.txt").

include("vi.txt").
include("vii.txt").