-* Add the rest of the edge incidence tests. Make sure it works across
- cubes, too.
+* Update show definitions.
-* Update the test suite to use the test-framework package.
+* Document everything.
-* Add the section (2.9) tests.
+* Test whether or not dropping the guards from the Tetrahedron.volume
+ function speeds things up (and still produces a correct result).
-* Figure out why TC.prop_c0120_identity4 and friends are failing.
+* Re-run hpc and remove any dead code.