Could it be "Unusual" that in common logic P v Q can collapse to a simpler method, e.g. just P or just Q and be satisfied? it's to some degree stiff and previous-fashioned. Without the need of it, as Neat Elf notes, a transparent-Slice idea appears to be better https://katep541oxi2.dm-blog.com/profile