How to identify implicitly invalidated case law