Can it be "Bizarre" that in regular logic P v Q can collapse to a simpler components, e.g. just P or simply just Q and become satisfied? it is actually fairly stiff and previous-fashioned. With no it, as Interesting Elf notes, a clear-Reduce concept seems superior type to me.|bibbib https://colettel531oal3.wikilentillas.com/user