The stochastic raytracing algorithms are "exact" if they're run long enough, right? (I know I've spoken to you and Edward about this stuff at length)

Semirelatedly, do you think the Haskell Diagrams lib with its normals tricks would be a good pedagogical substrate for raytracing for general shapes? Seems like it would allow punting on how surfaces are represented Mebe.