Is it "weird" that in regular logic P v Q can collapse to a simpler formulation, e.g. just P or merely Q and become content? it truly is rather rigid and outdated-fashioned. Without it, as Great Elf notes, a clear-Reduce concept would seem superior design to me.|bibbib 73k1313 gold https://williamn654xkv7.lotrlegendswiki.com/user