Could it be "Strange" that in conventional logic P v Q can collapse to a simpler formulation, e.g. just P or merely Q and be satisfied? it is fairly rigid and old-fashioned. Without having it, as Great Elf notes, a transparent-Lower thought seems improved design to me.|bibbib 73k1313 gold https://kevinj431oak3.blogvivi.com/profile