About this 3D model
The lack of (semi)-infinite volumes (like halfspaces) introduce a lot of unnecessary variables. If they are not kept big enough in all conceivable cases (there are too many cases to conceive in any sufficiently complex model) bugs can be expected to slowly and continulally drizzle in from the run time user side. Furthermore the unnecessary surfaces potentially waste computing power. I invite you to play with this demo-"artifact-tetrahedron" in customizer to get the picture. **(note the three tabs in customizer)** Semi-infinite volumes are implemented in my miniSageCAD experiment: http://www.thingiverse.com/thing:40210 sidenote: there are some similarities to lazy evaluation http://en.wikipedia.org/wiki/Lazy_evaluation