Implement implication and iff.