Is it "weird" that in standard logic P v Q can collapse to an easier system, e.g. just P or maybe Q and be happy? it is actually somewhat stiff and old-fashioned. With out it, as Amazing Elf notes, a clear-Minimize plan would seem superior model to me.|bibbib 73k1313 https://georgeh420kvh1.yomoblog.com/profile