Is it "Strange" that in regular logic P v Q can collapse to a simpler formula, e.g. just P or just Q and become contented? it's fairly stiff and aged-fashioned. With out it, as Awesome Elf notes, a clear-cut idea appears to be far better type to me.|bibbib 73k1313 https://paulj319jtd0.blue-blogs.com/profile