Is it "Odd" that in conventional logic P v Q can collapse to an easier method, e.g. just P or maybe Q and be satisfied? it can be rather stiff and outdated-fashioned. Without it, as Awesome Elf notes, a clear-Minimize thought would seem better design to me.|bibbib 73k1313 gold https://gallagherg208grc9.p2blogs.com/profile