-- The thing that must be sorted is the pre-theta^N list, which is not checked in the routine that applies the theta^N prior.