set(auto).
clear(print_given).

% boolean laws:
include("iDef.txt").
include("17To19booleanLaws.txt").

% already proved lemmas:
include("xxix_ghost.txt").
include("xxix_b_ghost.txt").

include("xxix.txt").