Is it "Strange" that in standard logic P v Q can collapse to an easier components, e.g. just P or simply just Q and become satisfied? it is fairly stiff and aged-fashioned. With out it, as Neat Elf notes, a transparent-Reduce thought looks greater style to me.|bibbib 73k1313 gold https://branchi319iqa9.is-blog.com/profile