Is it "weird" that in standard logic P v Q can collapse to an easier components, e.g. just P or simply just Q and become content? it is actually somewhat rigid and aged-fashioned. Without it, as Awesome Elf notes, a clear-Lower thought looks superior model to me.|bibbib 73k1313 gold https://wardj319iue0.wiki-jp.com/user