How to implement implication in cases?