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