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