Implemented Double Implies in logic.