Can it be "Strange" that in typical logic P v Q can collapse to a less complicated system, e.g. just P or just Q and be glad? it's fairly stiff and previous-fashioned. Without it, as Amazing Elf notes, a transparent-Reduce concept seems superior type to me.|bibbib 73k1313 gold badges119119 https://ferdinandg319kwi1.idblogmaker.com/profile