set(auto).
clear(print_given).

assign(max_seconds,5).

include("booleanAx.txt").

include("peirceanAx0.txt").

include("dDef.txt").

include("iv.txt").