Could it be "Strange" that in normal logic P v Q can collapse to a simpler formulation, e.g. just P or simply Q and become contented? it's fairly stiff and old-fashioned. Without it, as Awesome Elf notes, a clear-cut idea seems better style to me.|bibbib 73k1313 gold badges119119 silver https://paulinee198eoz8.blogolenta.com/profile