Can it be "Odd" that in conventional logic P v Q can collapse to a less complicated system, e.g. just P or merely Q and be glad? it can be to some degree rigid and aged-fashioned. Without it, as Awesome Elf notes, a clear-Reduce concept appears far better design https://brucey086cmw7.webdesign96.com/profile