Could it be "Unusual" that in normal logic P v Q can collapse to a simpler formula, e.g. just P or merely Q and be happy? it truly is rather rigid and previous-fashioned. With no it, as Interesting Elf notes, a transparent-Slice thought looks greater type to me.|bibbib 73k1313 https://haimi420kwh1.eedblog.com/profile