Is it "Unusual" that in normal logic P v Q can collapse to an easier components, e.g. just P or simply just Q and become glad? it is actually somewhat stiff and previous-fashioned. Without having it, as Cool Elf notes, a clear-Reduce plan seems far better style to me.|bibbib https://stevem431nyi2.madmouseblog.com/profile