This is… essentially a BSP tree traversal without splitting polys that straddle a partition plane, right?