Relation implication operator: Difference between revisions