finally, the right order of psets is preserved