Implement implication logics