Can it be "Odd" that in conventional logic P v Q can collapse to an easier system, e.g. just P or maybe Q and be pleased? it's fairly stiff and aged-fashioned. Without it, as Amazing Elf notes, a transparent-Lower notion seems much better design to me.|bibbib 73k1313 gold badges119119 https://gallagherh420jvg1.shopping-wiki.com/user