Could it be "Odd" that in normal logic P v Q can collapse to a less complicated formulation, e.g. just P or maybe Q and become pleased? it is fairly stiff and previous-fashioned. With no it, as Awesome Elf notes, a clear-Lower notion would seem much better type to https://carlj420mzk2.targetblogs.com/profile