include("1To4booleanLaws.txt"). % 1-4

	include("4To8booleanLaws.txt"). % 4-8

	include("9_10booleanLaws.txt"). % 9-10

% De Morgan's laws:
	include("11booleanLaws.txt"). % 11

% inclusion laws:
	include("12booleanLaws.txt"). % 12
	include("13booleanLaws.txt"). % 13

% double complement laws:
	include("14booleanLaws.txt"). % 14
	include("15_16booleanLaws.txt"). % 15-16

% further inclusion laws (in disguise):
	include("17To19booleanLaws.txt"). % 17-19

% additional laws on intersection and inclusion:
	include("20To24booleanLaws.txt"). % 20-24

% quasi-distributive law of intersection over union:
	include("25booleanLaws.txt"). % 25

% further laws on intersection and inclusion:
	include("26_27booleanLaws.txt"). % 26-27

% idempotence of intersection:
	include("28booleanLaws.txt"). % 28

	include("29booleanLaws.txt"). % 29