Can it be "Odd" that in normal logic P v Q can collapse to an easier formula, e.g. just P or simply Q and become contented? it can be considerably rigid and outdated-fashioned. Without it, as Great Elf notes, a clear-Minimize strategy seems greater style to me.|bibbib 73k1313 gold https://yurif208fqa9.hyperionwiki.com/user