Could it be "Unusual" that in common logic P v Q can collapse to a less complicated method, e.g. just P or simply Q and be satisfied? it truly is rather rigid and old-fashioned. Without it, as Great Elf notes, a transparent-Minimize strategy appears superior style to me.|bibbib 73k1313 https://damienr754ugp4.blgwiki.com/user