Can it be "Strange" that in conventional logic P v Q can collapse to a simpler system, e.g. just P or simply Q and be contented? it's considerably stiff and aged-fashioned. Without having it, as Amazing Elf notes, a transparent-cut idea looks improved design and style to me.|bibbib 73k1313 https://lyndonh209htd0.losblogos.com/profile