--- | The 'left_half_tetrahedra' and 'right_half_tetrahedra' should
--- have no tetrahedra in common.
-prop_left_right_tetrahedra_disjoint :: Cube -> Bool
-prop_left_right_tetrahedra_disjoint c =
- disjoint (left_half_tetrahedra c) (right_half_tetrahedra c)
+prop_opposite_octant_tetrahedra_disjoint5 :: Cube -> Bool
+prop_opposite_octant_tetrahedra_disjoint5 c =
+ disjoint (front_left_top_tetrahedra c) (back_left_down_tetrahedra c)
+
+prop_opposite_octant_tetrahedra_disjoint6 :: Cube -> Bool
+prop_opposite_octant_tetrahedra_disjoint6 c =
+ disjoint (front_right_top_tetrahedra c) (back_right_down_tetrahedra c)