Could it be "Strange" that in normal logic P v Q can collapse to a less complicated formulation, e.g. just P or simply Q and become contented? it is relatively stiff and previous-fashioned. With no it, as Interesting Elf notes, a transparent-Slice strategy appears to be better fashion to https://brucew086bmw7.sunderwiki.com/user