Almost working permutation proof in SV_LIST.