[Fact] public void TestImplies4() => Test(True.Implies(False), False);
 [Fact] public void TestImplies1() => Test(True.Implies(True), True);