If this annotation is present on another annotation, the annotated one cannot be subject of Implies!(...).
See Implementation
If this annotation is present on another annotation, the annotated one cannot be subject of Implies!(...).