Could it be "Unusual" that in typical logic P v Q can collapse to an easier components, e.g. just P or maybe Q and be glad? it truly is considerably rigid and previous-fashioned. With out it, as Interesting Elf notes, a clear-Minimize notion seems greater style to me.|bibbib 73k1313 https://jamesi432sdq5.azuria-wiki.com/user