digraph G{
/* Define all definitions */
subgraph cluster0 {
label="Definitions";
color=orange;

/* Definitions used in Book I */
D1_22 [shape=box, label="Def. 1.22"];
D1_23 [shape=box, label="Def. 1.23"];
D1_10 [shape=box, label="Def. 1.10"];
D1_15 [shape=box, label="Def. 1.15"];
}
/* All other Definitions commented out */
/*D1_1 [shape=box, label="Def. 1.1";
D1_2 [shape=box, label="Def. 1.2"];
D1_3 [shape=box, label="Def. 1.3"];
D1_4 [shape=box, label="Def. 1.4"];
D1_5 [shape=box, label="Def. 1.5"];
D1_6 [shape=box, label="Def. 1.6"];
D1_7 [shape=box, label="Def. 1.7"];
D1_8 [shape=box, label="Def. 1.8"];
D1_9 [shape=box, label="Def. 1.9"];
D1_11 [shape=box, label="Def. 1.11"];
D1_12 [shape=box, label="Def. 1.12"];
D1_13 [shape=box, label="Def. 1.13"];
D1_14 [shape=box, label="Def. 1.14"];
D1_16 [shape=box, label="Def. 1.16"];
D1_17 [shape=box, label="Def. 1.17"];
D1_18 [shape=box, label="Def. 1.18"];
D1_19 [shape=box, label="Def. 1.19"];
D1_20 [shape=box, label="Def. 1.20"];
D1_21 [shape=box, label="Def. 1.21"];/*
	


/* Define all postulates */
subgraph cluster1 {
label="Postulates";
color=blue;
PO1_1 [shape=box, label="Post. 1.1"];
PO1_2 [shape=box, label="Post. 1.2"];
PO1_3 [shape=box, label="Post. 1.3"];
PO1_4 [shape=box, label="Post. 1.4"];
PO1_5 [shape=box, label="Post. 1.5"];
	}

/* And define all common notions */
subgraph cluster2{
label="Common Notions";
color=red;
CN1_1 [shape=box, label="Comm. Not. 1.1"];
CN1_2 [shape=box, label="Comm. Not. 1.2"];
CN1_3 [shape=box, label="Comm. Not. 1.3"];
CN1_4 [shape=box, label="Comm. Not. 1.4"];
CN1_5 [shape=box, label="Comm. Not. 1.5"];
	}




/* Proposition 1 */
Pr1_1 [label="Prop. 1.1"];
Pr1_1 -> PO1_3;
Pr1_1 -> PO1_1;
Pr1_1 -> D1_15;
Pr1_1 -> CN1_1;

/* Proposition 2 */
Pr1_2 [label="Prop. 1.2"];
Pr1_2 -> PO1_1;
Pr1_2 -> Pr1_1;
Pr1_2 -> PO1_2;
Pr1_2 -> PO1_3;
Pr1_2 -> D1_15;
Pr1_2 -> CN1_1;

/* Proposition 3 */
Pr1_3 [label="Prop. 1.3"];
Pr1_3 -> Pr1_2;
Pr1_3 -> PO1_3;
Pr1_3 -> D1_15;
Pr1_3 -> CN1_1;


/* Proposition 4 */
Pr1_4 [label="Prop. 1.4"];
Pr1_4 -> PO1_1;
Pr1_4 -> CN1_4;


/* Proposition 5 */
Pr1_5 [label="Prop. 1.5"];
Pr1_5 -> Pr1_3;
Pr1_5 -> PO1_1;
Pr1_5 -> Pr1_4;
Pr1_5 -> CN1_3;


/* Proposition 6 */
Pr1_6 [label="Prop. 1.6"];
Pr1_6 -> PO1_1;
Pr1_6 -> Pr1_3;
Pr1_6 -> CN1_5;
Pr1_6 -> Pr1_4;

/* Proposition 7 */
Pr1_7 [label="Prop. 1.7"];
Pr1_7 -> PO1_1;
Pr1_7 -> CN1_5;
Pr1_7 -> Pr1_5;

/* Proposition 8 */
Pr1_8 [label="Prop. 1.8"];
Pr1_8 -> Pr1_7;
Pr1_8 -> CN1_4;

/* Proposition 9 */
Pr1_9 [label="Prop. 1.9"];
Pr1_9 -> Pr1_3;
Pr1_9 -> Pr1_1;
Pr1_9 -> Pr1_8;

/* Proposition 10 */
Pr1_10 [label="Prop. 1.10"];
Pr1_10 -> Pr1_1;
Pr1_10 -> Pr1_9;
Pr1_10 -> Pr1_4;

/* Proposition 11 */
Pr1_11 [label="Prop. 1.11"];
Pr1_11 -> Pr1_3;
Pr1_11 -> Pr1_1;
Pr1_11 -> Pr1_8;
Pr1_11 -> D1_10;

/* Proposition 12 */
Pr1_12 [label="Prop. 1.12"];
Pr1_12 -> PO1_3;
Pr1_12 -> Pr1_10;
Pr1_12 -> Pr1_8;
Pr1_12 -> D1_10;

/* Proposition 13 */
Pr1_13 [label="Prop. 1.13"];
Pr1_13 -> D1_10;
Pr1_13 -> Pr1_11;
Pr1_13 -> CN1_2;
Pr1_13 -> CN1_1;

/* Proposition 14 */
Pr1_14 [label="Prop. 1.14"];
Pr1_14 -> CN1_1;
Pr1_14 -> Pr1_13;
Pr1_14 -> CN1_3;

/* Proposition 15 */
Pr1_15 [label="Prop. 1.15"];
Pr1_15 -> Pr1_13;
Pr1_15 -> CN1_1;
Pr1_15 -> CN1_3;

/* Proposition 16 */
Pr1_16 [label="Prop. 1.16"];
Pr1_16 -> Pr1_10;
Pr1_16 -> Pr1_3;
Pr1_16 -> Pr1_15; 
Pr1_16 -> Pr1_4;


/* Proposition 17 */
Pr1_17 [label="Prop. 1.17"];
Pr1_17 -> Pr1_16;
Pr1_17 -> Pr1_13;

/* Proposition 18 */
Pr1_18 [label="Prop. 1.18"];
Pr1_18 -> Pr1_3;
Pr1_18 -> Pr1_5;

/* Proposition 19 */
Pr1_19 [label="Prop. 1.19"];
Pr1_19 -> Pr1_5;
Pr1_19 -> Pr1_18;

/* Proposition 20 */
Pr1_20 [label="Prop. 1.20"];
Pr1_20 -> Pr1_3;
Pr1_20 -> Pr1_5;
Pr1_20 -> Pr1_19;

/* Proposition 21 */
Pr1_21 [label="Prop. 1.21"];
Pr1_21 -> Pr1_20;
Pr1_21 -> Pr1_16;

/* Proposition 22 */
Pr1_22 [label="Prop. 1.22"];
Pr1_22 -> Pr1_20;
Pr1_22 -> Pr1_3

/* Proposition 23 */
Pr1_23 [label="Prop. 1.23"];
Pr1_23 -> Pr1_22;
Pr1_23 -> Pr1_8;

/* Proposition 24 */
Pr1_24 [label="Prop. 1.24"];
Pr1_24 -> Pr1_23;
Pr1_24 -> Pr1_3;
Pr1_24 -> Pr1_4;
Pr1_24 -> Pr1_5;
Pr1_25 -> Pr1_19;


/* Proposition 25 */
Pr1_25 [label="Prop. 1.25"];
Pr1_25 -> Pr1_4;
Pr1_25 -> Pr1_24;

/* Proposition 26 */
Pr1_26 [label="Prop. 1.26"];
Pr1_26 -> Pr1_3;
Pr1_26 -> Pr1_4;
Pr1_26 -> Pr1_16;

/* Proposition 27 */
Pr1_27 [label="Prop. 1.27"];
Pr1_27 -> D1_23;
Pr1_27 -> Pr1_16;

/* Proposition 28 */
Pr1_28 [label="Prop. 1.28"];
Pr1_28 -> Pr1_13;
Pr1_28 -> Pr1_27;
Pr1_28 -> Pr1_15;

/* Proposition 29 */
Pr1_29 [label="Prop. 1.29"];
Pr1_29 -> Pr1_13;
Pr1_29 -> PO1_5;
Pr1_29 -> D1_23;
Pr1_29 -> Pr1_15;

/* Proposition 30 */
Pr1_30 [label="Prop. 1.30"];
Pr1_30 -> Pr1_29;
Pr1_30 -> Pr1_27;

/* Proposition 31 */
Pr1_31 [label="Prop. 1.31"];
Pr1_31 -> Pr1_23;
Pr1_31 -> Pr1_27;

/* Proposition 32 */
Pr1_32 [label="Prop. 1.32"];
Pr1_32 -> Pr1_31;
Pr1_32 -> Pr1_29;
Pr1_32 -> Pr1_13;

/* Proposition 33 */
Pr1_33 [label="Prop. 1.33"];
Pr1_33 -> Pr1_29;
Pr1_33 -> Pr1_4;
Pr1_33 -> Pr1_27;

/* Proposition 34 */
Pr1_34 [label="Prop. 1.34"];
Pr1_34 -> Pr1_29;
Pr1_34 -> Pr1_26;
Pr1_34 -> Pr1_4;

/* Proposition 35 */
Pr1_35 [label="Prop. 1.35"];
Pr1_35 -> Pr1_34;
Pr1_35 -> Pr1_29;
Pr1_35 -> Pr1_4;

/* Proposition 36 */
Pr1_36 [label="Prop. 1.36"];
Pr1_36 -> Pr1_33;
Pr1_36 -> Pr1_34;
Pr1_36 -> Pr1_35;

/* Proposition 37 */
Pr1_37 [label="Prop. 1.37"];
Pr1_37 -> Pr1_31;
Pr1_37 -> Pr1_35;
Pr1_37 -> Pr1_34;

/* Proposition 38 */
Pr1_38 [label="Prop. 1.38"];
Pr1_38 -> Pr1_31;
Pr1_38 -> Pr1_36;
Pr1_38 -> Pr1_34;

/* Proposition 39 */
Pr1_39 [label="Prop. 1.39"];
Pr1_39 -> Pr1_31;
Pr1_39 -> Pr1_37;

/* Proposition 40 */
Pr1_40 [label="Prop. 1.40"];
Pr1_40 -> Pr1_31;
Pr1_40 -> Pr1_38;

/* Proposition 41 */
Pr1_41 [label="Prop. 1.41"];
Pr1_41 -> Pr1_34;
Pr1_41 -> Pr1_37;

/* Proposition 42 */
Pr1_42 [label="Prop. 1.42"];
Pr1_42 -> Pr1_23;
Pr1_42 -> Pr1_41;
Pr1_42 -> Pr1_10;
Pr1_42 -> Pr1_38;

/* Proposition 43 */
Pr1_43 [label="Prop. 1.43"];
Pr1_43 -> Pr1_34;

/* Proposition 44 */
Pr1_44 [label="Prop. 1.44"];
Pr1_44 -> Pr1_42;
Pr1_44 -> Pr1_31;
Pr1_44 -> Pr1_39;
Pr1_44 -> Pr1_29;
Pr1_44 -> Pr1_15;
Pr1_44 -> Pr1_43;
Pr1_44 -> PO1_5;
Pr1_44 -> Pr1_3;
Pr1_44 -> Pr1_23;

/* Proposition 45 */
Pr1_45 [label="Prop. 1.45"];
Pr1_45 -> Pr1_44;
Pr1_45 -> Pr1_42;
Pr1_45 -> Pr1_29;
Pr1_45 -> Pr1_14;
Pr1_45 -> Pr1_34;
Pr1_45 -> Pr1_30;
Pr1_45 -> Pr1_33;

/* Proposition 46 */
Pr1_46 [label="Prop. 1.46"];
Pr1_46 -> Pr1_11;
Pr1_46 -> Pr1_3;
Pr1_46 -> Pr1_31;
Pr1_46 -> Pr1_34; 
Pr1_46 -> Pr1_29;
Pr1_46 -> D1_22;

/* Proposition 47 */
Pr1_47 [label="Prop. 1.47"];
Pr1_47 -> Pr1_46; 
Pr1_47 -> Pr1_31;
Pr1_47 -> Pr1_14;
Pr1_47 -> Pr1_4;
Pr1_47 -> Pr1_41;

/* Proposition 48 */
Pr1_48 [label="Prop. 1.48"];
Pr1_48 -> Pr1_3;
Pr1_48 -> Pr1_11;
Pr1_48 -> Pr1_47;
Pr1_48 -> Pr1_8;
}