Proved an oracle thm for permutations