set(auto).
clear(print_given).

include("4To8booleanLaws.txt").
include("1To3monotLaws.txt").
include("20To24booleanLaws.txt").

include("ix_b.txt").   % left identity for composition
include("iDef.txt").

include("xxvii_a_ghost.txt").