* Add the rest of the edge incidence tests. * Figure out why the tests for section (2.8), e.g. prop_c3000_identity, are affected by switching two vertices of a tetrahedron.