Could it be "Strange" that in regular logic P v Q can collapse to an easier system, e.g. just P or just Q and become happy? it is somewhat rigid and previous-fashioned. With out it, as Interesting Elf notes, a clear-Slice strategy appears improved type to me.|bibbib 73k1313 gold https://stevel542pal3.blogars.com/profile