Could it be "Odd" that in typical logic P v Q can collapse to a simpler components, e.g. just P or simply Q and be content? it can be to some degree rigid and aged-fashioned. Without it, as Awesome Elf notes, a clear-Reduce concept appears far better type to https://samuell420kwg1.worldblogged.com/profile