its not actually about the PVS although it greatly simplifies those algorithms.

its actually quite redundant in many ways.