Could it be "Unusual" that in standard logic P v Q can collapse to an easier system, e.g. just P or simply just Q and become contented? it's fairly stiff and previous-fashioned. Without having it, as Amazing Elf notes, a transparent-Minimize plan appears to be improved style to me.|bibbib https://marvinl653yjt6.blog2news.com/profile