Could it be "Unusual" that in standard logic P v Q can collapse to a simpler formulation, e.g. just P or just Q and be happy? it truly is rather stiff and previous-fashioned. With out it, as Cool Elf notes, a transparent-Reduce strategy looks better type to me.|bibbib 73k1313 https://omars652qcm3.wiki-jp.com/user