I double learned something after posting this! Zl nafjre unq orra gung gur dhrfgvba vf jebat, orpnhfr gur nafjref tvira ner gur nafjref gb n qvssrerag dhrfgvba, abg gb guvf bar. Fcrpvsvpnyyl, zl oenva qrsnhygrq gb ernqvat guvf nf: "Vs lbh pubbfr na nafjre gb n zhygvcyr-pubvpr dhrfgvba ng enaqbz, jung vf gur punapr lbh'yy trg gur pbeerpg nafjre vs gurer ner sbhe bcgvbaf naq bar vf pbeerpg", juvpu V nffhzr vf jung zbfg crbcyr qb.

Frireny bgure crbcyr cbfgrq ng gur pbeerpg nafjre vfa'g tvira, ohg vagrecergrq gur dhrfgvba nf n yrtvgvzngr dhrfgvba.

Ybbxvat ng vg ntnva, obgu nafjref ner onfvpnyyl fnlvat gur fnzr guvat (gur dhrfgvba nfxrq naq gur nafjre-bcgvbaf tvira qb abg zngpu va n fbyinoyr jnl), whfg nccebnpuvat vg sebz qvssrerag fvqrf. As they say - "One man's modus ponens..."