Can it be "Unusual" that in standard logic P v Q can collapse to a simpler system, e.g. just P or maybe Q and become glad? it can be somewhat rigid and aged-fashioned. With no it, as Cool Elf notes, a transparent-Lower plan seems improved design to me.|bibbib 73k1313 https://wessexg209itd9.iamthewiki.com/user