Add logical implication