Tag false implication in case