Page 14: Para 3: \neg\exists N_3 \in Nodes: MHBD(N_3, N_1) = true and MHBD (N_2, N_3) = true
		-->
                \neg\exists N_3 \in Nodes: MHBD(N_1, N_3) = true and MHBD (N_3, N_2) = true

Page 15, Fig. 8(c)
		X 	(1, 4) (1,12), (4,12), (12, 4)
		-->
		X 	(1, 4) (1,12), (4,12)