--- Now, p0, p1, and p2 are in counter-clockwise order. The volume
--- should therefore be positive.
+-- | Check the volume of a particular tetrahedron against the value
+-- computed by hand. Its vertices are in counter-clockwise order, so
+-- the volume should be positive.