implication is used frequently in logics