set(auto).
clear(print_given).

include("1_2booleanAx.txt").
include("peirceanAx0.txt").
include("peirceanAx2.txt").

include("boolEQrobbins.txt").