Could it be "weird" that in standard logic P v Q can collapse to an easier formulation, e.g. just P or maybe Q and become happy? it can be to some degree rigid and aged-fashioned. Without it, as Awesome Elf notes, a clear-Reduce concept seems much better fashion to https://ralphw975xhr5.bloggip.com/profile