set(auto).
clear(print_given).

include("peirceanAx0.txt").
include("xv_a.txt"). % Dedekind's law
include("vii.txt").

include("xxviii_a_ghost.txt").