Can it be "Strange" that in conventional logic P v Q can collapse to an easier formulation, e.g. just P or simply Q and be pleased? it can be to some degree rigid and aged-fashioned. Without it, as Awesome Elf notes, a transparent-cut idea looks much better model to https://roberty976yjt6.tnpwiki.com/user