Can it be "Bizarre" that in normal logic P v Q can collapse to a simpler system, e.g. just P or just Q and become satisfied? it really is somewhat stiff and aged-fashioned. With no it, as Interesting Elf notes, a clear-Slash notion appears to be far better style https://vernond219iue0.wikiexcerpt.com/user