In my time-indendent defintion of Eric Gore's deterministic RP version, I said: "not-discarded defeats equal to D" ...when I meant: "not-discarded defeats stronger than D." Michael Ossipoff