Could it be "Bizarre" that in standard logic P v Q can collapse to a simpler formulation, e.g. just P or simply Q and be happy? it's fairly stiff and old-fashioned. Without having it, as Amazing Elf notes, a clear-Lower notion looks superior design and style to me.|bibbib 73k1313 https://harryf208frc9.iyublog.com/profile