Can it be "Odd" that in typical logic P v Q can collapse to a less complicated method, e.g. just P or perhaps Q and be satisfied? it is relatively stiff and previous-fashioned. Without it, as Great Elf notes, a transparent-Slash idea seems much better fashion to me.|bibbib 73k1313 https://janer642qzk2.blogdun.com/profile