Can it be "Odd" that in conventional logic P v Q can collapse to a simpler formula, e.g. just P or just Q and become glad? it is actually somewhat rigid and aged-fashioned. Without it, as Amazing Elf notes, a transparent-Lower notion would seem better type to me.|bibbib 73k1313 https://wardx986bnx7.targetblogs.com/profile