Could it be "Bizarre" that in normal logic P v Q can collapse to a less complicated formula, e.g. just P or perhaps Q and be satisfied? it is somewhat rigid and old-fashioned. Devoid of it, as Interesting Elf notes, a clear-cut idea would seem improved style to me.|bibbib https://frankf208iue0.dgbloggers.com/profile