set(auto).
clear(print_given).

assign(max_seconds,1).

include("peirceanAx1.txt"). % distributiva della composiz. sull'unione

include("iDef.txt"). % inclusione definita attraverso l'unione

include("1To4booleanLaws.txt"). % "4To8booleanLaws" would suffice

include("vii.txt"). % monotonicity laws

include("x_a.txt").