Could it be "weird" that in normal logic P v Q can collapse to a simpler system, e.g. just P or simply just Q and become contented? it's considerably stiff and old-fashioned. Devoid of it, as Cool Elf notes, a clear-Slash idea looks superior style to me.|bibbib 73k1313 gold https://nazimi420lyi2.bloguerosa.com/profile