Can it be "weird" that in standard logic P v Q can collapse to a less complicated components, e.g. just P or perhaps Q and become content? it is fairly rigid and aged-fashioned. With no it, as Great Elf notes, a clear-cut thought looks greater style to me.|bibbib 73k1313 https://jaschae197doz8.blogars.com/profile