Can it be "Strange" that in common logic P v Q can collapse to a less complicated system, e.g. just P or merely Q and become content? it really is considerably stiff and old-fashioned. Without having it, as Amazing Elf notes, a clear-Lower concept looks greater type to me.|bibbib https://ghomsheiy197eqc9.wikienlightenment.com/user