Is it "Strange" that in typical logic P v Q can collapse to a less complicated components, e.g. just P or just Q and be happy? it is actually fairly rigid and old-fashioned. Without it, as Awesome Elf notes, a transparent-Slash notion seems greater type to me.|bibbib 73k1313 gold https://moseleys763ufq5.wikidirective.com/user