Can it be "Strange" that in normal logic P v Q can collapse to a less complicated method, e.g. just P or perhaps Q and be happy? it is actually fairly stiff and old-fashioned. Without the need of it, as Great Elf notes, a transparent-Minimize plan seems improved type https://tupenil531ozj2.liberty-blog.com/profile