Could it be "Unusual" that in conventional logic P v Q can collapse to an easier system, e.g. just P or merely Q and be glad? it's rather stiff and outdated-fashioned. Without it, as Cool Elf notes, a clear-Reduce plan appears to be better style to me.|bibbib 73k1313 gold https://mauriceh431nyi2.evawiki.com/user